A modular module system
نویسنده
چکیده
A simple implementation of an SML-like module system is presented as a module parameterized by a base language and its type-checker. This implementation is useful both as a detailed tutorial on the Harper-Lillibridge-Leroy module system and its implementation, and as a constructive demonstration of the applicability of that module system to a wide range of programming languages.
منابع مشابه
On duality of modular G-Riesz bases and G-Riesz bases in Hilbert C*-modules
In this paper, we investigate duality of modular g-Riesz bases and g-Riesz bases in Hilbert C*-modules. First we give some characterization of g-Riesz bases in Hilbert C*-modules, by using properties of operator theory. Next, we characterize the duals of a given g-Riesz basis in Hilbert C*-module. In addition, we obtain sufficient and necessary condition for a dual of a g-Riesz basis to be agai...
متن کاملA High Gain Bipolar Pulse Generator with Low Voltage Input Source
This paper proposes a pulsed power generator which consists of two types of switched-capacitor booster modules. A doubling mode module employed to elevate the input voltage to a specified level and, constant mode module is used to increase the elevated voltage into the finally intended bipolar output voltage. Also, the proposed modular structure does not utilize any switches across the load. Ot...
متن کاملStrategy-aligned fuzzy approach for market segment evaluation and selection: a modular decision support system by dynamic network process (DNP)
In competitive markets, market segmentation is a critical point of business, and it can be used as a generic strategy. In each segment, strategies lead companies to their targets; thus, segment selection and the application of the appropriate strategies over time are very important to achieve successful business. This paper aims to model a strategy-aligned fuzzy approach to market segment ev...
متن کاملFluidic Stochastic Modular Robotics: Revisiting the System Design
Here we present a new design of a system for stochastic self-assembly and reconfiguration of zero d.o.f. lattice modular robots in the fluid. The Fluidic Stochastic Modular Robotics (FSMR) system is envisioned to serve as a prototype for future sub-millimeter scale implementation with all critical structural parts having analogous counterparts implemented in MEMS. New FSMR features include cont...
متن کاملEnabling efficient reprogramming through reduction of executable modules in networked embedded systems
We present a systematic modular design approach for networked embedded systems. We effectively reduce the module file size to enable efficient network reprogramming, while at the same time retain necessary information to maintain module flexibility. We further handle module dependencies in a fine-grained manner, which improves system reliability while keeping the system configuration to its min...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
- J. Funct. Program.
دوره 10 شماره
صفحات -
تاریخ انتشار 2000